Ledigt jobb: Postdoktor/Postdoc

Vill du använda funktionell programmering för att hitta nya sätt att utveckla, testa och formellt verifiera mjukvara eller hårdvara? Chalmers, med sina världsledande grupper inom funktionell programmering och formella metoder, erbjuder den idealiska miljön för forskning om programmering med formella garantier – ett ämne med ökande praktisk betydelse.

Om oss

Avdelningen för datavetenskap och teknik, en gemensam avdelning för Chalmers och Göteborgs universitet, omfattar bredden av datavetenskapliga discipliner. Vår internationellt synliga forskning, starka branschanknytningar och mångfaldiga miljö skapar en samarbetsvillig setting där idéer växer till verklig påverkan.

Inom avdelningen för datavetenskap och teknik, sektionen för datavetenskap, främjar vi säker och tillförlitlig mjukvara och system, från grundläggande teorier och programspråk till verktyg och praktiska metoder som hjälper till att forma pålitliga digitala infrastrukturer.

Du kommer att gå med i en mycket samarbetsvillig och internationell miljö som omfattar enheterna för funktionell programmering och formella metoder. Vi bedriver världsledande forskning inom programspråksdesign, semantik, interaktiv teorembeweisning och formell verifiering.

Om forskningsprojektet

Vi söker två postdoktorer med stark bakgrund inom funktionell programmering för att gå med i vår dynamiska miljö. Vi har två ganska flexibla delprojekt, och vi vill rekrytera de bästa funktionella programmerarna och skräddarsy den exakta forskningsfokusen efter dina unika styrkor.

Beroende på din bakgrund och dina intressen kommer du att få möjlighet att bidra till våra pågående forskningsinitiativ. Dessa sträcker sig från att utforska grunderna för programspråk (såsom avancerade typsystem och funktionell logikprogrammering) till att överbrygga klyftan mellan ad hoc-arraybearbetning och formellt verifierad funktionell programmering med hjälp av interaktiva teorembeweisare.

Vem vi söker

Följande krav är obligatoriska:

• En doktorsexamen (eller motsvarande utländsk examen) inom datavetenskap, matematik eller ett relaterat område. Detta behörighetskrav måste vara uppfyllt senast vid det tillfälle då anställningsbeslutet fattas.
• Starka skriftliga och muntliga kommunikationsförmågor på engelska.
• En solid bakgrund inom funktionell programmering.

Du förväntas ha viss vana vid undervisning och visa god potential inom forskning och utbildning.

Följande erfarenhet kommer att stärka din ansökan:

Vi förväntar oss att du har dokumenterad expertis inom ett eller flera av följande områden:

• Programspråksemantik och typsystem
• Funktionell logikprogrammering
• Egenskapsbaserad testning (property-based testing)
• Interaktiv teorembeweisning (såsom Agda, Lean eller Rocq)
• Domänspecifika språk (till exempel för hårdvarudesign eller parallell programmering)
• Array- eller tensorprogrammering
• Tillämpningar inom fysikaliska vetenskaper, dimensionsanalys eller klimatpåverkansmodellering

Det är mycket meriterande om doktorsexamen har erhållits inom de senaste tre åren före ansökningsdagen.

Vad du kommer att göra

Som postdoktor kommer du att driva oberoende och samarbetsbaserad forskning för att flytta gränserna inom funktionell programmering och formella metoder. Utöver teorianspråk kommer ditt arbete ha potential att skala algebraiskt hanterbara arkitekturer till högrisk, kontinuerliga domäner, vilket omfattar grundläggande forskning, formell verifiering och språkdesign.

Genom att arbeta nära kärnforskningsteamet (Patrik Jansson, Koen Claessen och Mary Sheeran) kommer du att utveckla nya tekniker, bevisa deras egenskaper och medförfatta högkvalitativa vetenskapliga publikationer. Utöver din kärnforskning kommer du att ha den givande möjligheten att handleda master- eller doktorander och dela med dig av din expertis till nästa generation av datavetare.

Omfattning: 100 % anställning, fördelat som 80 % forskning och 20 % avdelningsuppgifter (vanligtvis undervisning på grund- eller masternivå).

Tjänsten är meritgivande för framtida roller inom akademin, näringslivet eller den offentliga sektorn.

Anställningsvillkor

Tjänsten är en tillfällig heltidsanställning på två år med möjlighet till förlängning med ett år.

Tjänsten kräver fysisk närvaro under hela anställningsperioden. Ett giltigt uppehållstillstånd måste presenteras senast anställningsstart, annars kan erbjudandet återkallas.

Vad vi erbjuder

• Som postdoktor på Chalmers är du anställd och njuter av alla anställdaförmåner. Läs mer på Chalmers webbplats (https://www.chalmers.se/en/about-chalmers/work-with-us/) och vår sida om förmåner och villkor (https://www.chalmers.se/en/about-chalmers/work-with-us/chalmers-as-an-employer/benefits-and-conditions/) för anställda.
• En dynamisk och inspirerande arbetsmiljö i kuststaden Göteborg (https://www.goteborg.com/en).
• Läs mer om Sveriges generösa föräldraledighet, subventionerad daghem, fria skolor, hälsovård etc. på Move to Gothenburg (https://www.movetogothenburg.com/).

Chalmers är engagerad i att förbättra könsbalansen och arbetar aktivt med jämställdhetsprojekt, såsom GENIE (Gender Initiative for Excellence) (https://www.chalmers.se/en/about-chalmers/organisation-and-governance/equality/genie-gender-initiative-for-excellence/). Vi firar mångfald och anser att jämställdhet och inkludering är grundläggande aspekter av allt vårt arbete.

Om svenska inte är ditt modersmål erbjuder Chalmers svenska kurser för att hjälpa dig att komma igång.

Sökprocess

Ansökan ska skrivas på engelska och bifogas som PDF-filer, enligt nedan. Maximal storlek för varje fil är 40 MB. Observera att systemet inte stöder Zip-filer.

CV

• Ett omfattande CV, inklusive en komplett lista över publikationer.
• Detaljer om tidigare undervisnings- och pedagogisk erfarenhet.

Personligt brev

• En kort introduktion om dig själv.
• En sammanfattning av dina tidigare forskningsfält och viktiga forskningsresultat.
• En översikt över dina framtida mål och forskningsfokus.
• Vänligen redogör tydligt för dina specifika forskningsintressen och ange vilka av de listade expertisområdena som bäst överensstämmer med din bakgrund.

Använd knappen längst ner på sidan för att komma till ansökningsformuläret.

En bakgrundskontroll kan genomföras som en del av ansökningsprocessen.

Vänligen notera: Sökanden är ansvarig för att säkerställa att ansökan är komplett. Ofullständiga ansökningar och ansökningar som skickas per e-post kommer inte att beaktas. Kontaktuppgifter till referenser kommer att begäras efter intervjun.

Välkommen med din ansökan senast söndag 2026-08-16.